First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
351	PDF Document Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Model theory Philosophy of language Semantics Quantification First-order logic Skolem normal form Singular they Proposition Interpretation Logic Mathematical logic Predicate logic
352	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:05:57 Model theory Metalogic Formal languages First-order logic Predicate logic Function Constructible universe Well-formed formula Structure Logic Mathematics Mathematical logic
353	Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Logical syntax Propositional calculus Proof theory Interpolation Video Video signal First-order logic Formal proof Pi Logic Mathematical logic Mathematics
354	The Logic and Handling of Algebraic Effects Matija Pretnar NI VER Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic programming First-order logic Equational logic Logic Mathematics Mathematical logic
355	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
356	Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2005-04-08 13:10:58 Science Non-classical logic Model theory Knowledge representation Default logic Modal logic First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
357	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logical connectives Semantics Well-formed formula Negation FO Intuitionistic logic First-order logic Logic Mathematical logic Boolean algebra
358	Noname manuscript No. (will be inserted by the editor) Understanding SPKI/SDSI Using First-Order Logic ? Ninghui Li1?? John C. Mitchell2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:13:36 Simple public key infrastructure Mathematical logic Semantics Model theory First-order logic Modal logic Entailment Finitary relation Formal semantics Logic Philosophical logic Key management
359	CS109B Notes for LectureHow to Prove Things 1. Truth tables \| check it out; it takes O(2n ) time on an expression with n variables, but if n is small this is ne. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:13 Boolean algebra Logical truth Rules of inference Modus ponens Substitution Tautology First-order logic Contradiction Resolution Logic Mathematical logic Propositional calculus
360	CS109A Notes for LectureMajor Theme: Data Models Data model = A way of representing (some kinds of) information in a computer. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:10 Propositional calculus Predicate logic Logical syntax Quantification Propositional variable First-order logic Function Well-formed formula Universal quantification Logic Mathematical logic Mathematics

UPDATE